to mine "to mine" means intentionally to win minerals and includes any operation directly or indirectly and necessary therefor or incidental thereto, and "mining" shall be construed accordingly; ACT 525 - MINERAL DEVELOPMENT ACT 1994 3. Interpretation.